1. Identity statement | |
Reference Type | Conference Paper (Conference Proceedings) |
Site | plutao.sid.inpe.br |
Holder Code | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identifier | 8JMKD3MGP3W/42M72S2 |
Repository | sid.inpe.br/plutao/2020/06.16.01.57 |
Last Update | 2020:06.18.17.41.37 (UTC) lattes |
Metadata Repository | sid.inpe.br/plutao/2020/06.16.01.57.16 |
Metadata Last Update | 2022:01.04.01.31.17 (UTC) administrator |
DOI | 10.5220/0009411903960406 |
ISBN | 9789897584237 |
Label | lattes: 1304704585952173 1 FerreiraRodrSilv:2020:StVaAu |
Citation Key | CruzFerrSilv:2020:StVaAu |
Title | State validation in automated planning |
Format | DVD |
Year | 2020 |
Access Date | 2024, May 23 |
Secondary Type | PRE CI |
Number of Files | 1 |
Size | 892 KiB |
|
2. Context | |
Author | 1 Cruz, Caio Gustavo Rodrigues da 2 Ferreira, Maurício Gonçalves Vieira 3 Silva, Rodrigo Rocha |
Resume Identifier | 1 2 8JMKD3MGP5W/3C9JHT8 |
Group | 1 CSE-ETES-SESPG-INPE-MCTIC-GOV-BR 2 COCRC-COCRC-INPE-MCTIC-GOV-BR |
Affiliation | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 Instituto Nacional de Pesquisas Espaciais (INPE) 3 Universidade de Coimbra |
Author e-Mail Address | 1 caio.cruz@inpe.br 2 mauricio.ferreira@inpe.br 3 rrochas@dei.uc.pt |
Conference Name | International Conference on Enterprise Information Systems, 22 |
Conference Location | Prague |
Date | 05-07 May |
Volume | 1 |
Pages | 396-406 |
Book Title | Proceedings |
Tertiary Type | Artigo |
History (UTC) | 2020-06-18 17:41:38 :: lattes -> administrator :: 2020 2022-01-04 01:31:17 :: administrator -> simone :: 2020 |
|
3. Content and structure | |
Is the master or a copy? | is the master |
Content Stage | completed |
Transferable | 1 |
Content Type | External Contribution |
Version Type | publisher |
Keywords | Planning Preference Invalid States PDDL |
Abstract | The crescent number of automated systems in satellites raises several security and reliability concerns, that are worsened with the time. Plan validation techniques were created to validate flight operation plans generated automatically. The execution of automatically generated plans on satellite flight operations can result in degraded or invalid states. Verifying the possibility of removing these states of a plan through a state validation technique is the objective of this paper. Analyzing the action that generated and, in planning time, remove the invalid states from the plan steps enables the planner to find the final state without any invalid state. Therefore, implementing a state validator in the automated planner prevents the plan from containing any invalid state. |
Area | ETES |
Arrangement 1 | urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CSE > State validation in... |
Arrangement 2 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > COCRC > State validation in... |
doc Directory Content | access |
source Directory Content | there are no files |
agreement Directory Content | there are no files |
|
4. Conditions of access and use | |
data URL | http://plutao.sid.inpe.br/ibi/8JMKD3MGP3W/42M72S2 |
zipped data URL | http://plutao.sid.inpe.br/zip/8JMKD3MGP3W/42M72S2 |
Language | pt |
Target File | cruz_state.pdf |
User Group | lattes |
Reader Group | administrator lattes |
Visibility | shown |
Update Permission | not transferred |
|
5. Allied materials | |
Next Higher Units | 8JMKD3MGPCW/3F35BSP 8JMKD3MGPCW/3F3PAJE |
Citing Item List | sid.inpe.br/bibdigital/2013/10.19.00.29 5 sid.inpe.br/bibdigital/2013/10.14.22.20 2 sid.inpe.br/mtc-m21/2012/07.13.14.56.30 2 |
Host Collection | dpi.inpe.br/plutao@80/2008/08.19.15.01 |
|
6. Notes | |
Empty Fields | archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination e-mailaddress edition editor issn lineage mark mirrorrepository nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress readpermission rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject tertiarymark type url |
|
7. Description control | |
e-Mail (login) | simone |
update | |
|